Model-based design - PDFSEARCH.IO - Document Search Engine

Model-based design
Results: 407

#	Item
211	HACU® 1000 State-of-the-art Antenna Control Unit Program Track Model Software-based design guaranteeing: Add to Reading List Source URL: www.hitec.lu Language: English - Date: 2014-04-01 02:24:22 Antenna Transmission Control Protocol X Window System Software Application programming interfaces Computing
212	Microsoft Word - 132_DOC.doc Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2010-04-07 10:48:56 Urban design Scientific modeling Cartography Geography Geostatistics Spatial analysis Cellular automaton Agent-based model Urban area Statistics Knowledge Science
213	1 of 16 A Component- and Message-Based Architectural Style for GUI Software Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-25 13:28:57 Design Component-based software engineering Model–view–controller Representational state transfer Software architecture Software engineering Software design
214	HACU[removed]State-of-the-art Antenna Control Unit Program Track Model Software-based design guaranteeing: Add to Reading List Source URL: www.hitec.lu Language: English - Date: 2012-09-10 08:26:18 Antenna Transmission Control Protocol X Window System Software Application programming interfaces Computing
215	ELPICAL for automatic image analysis,enhancement Based on extensive image analysis, new technology Add to Reading List Source URL: www.fourpees.com Language: English - Date: 2013-01-23 09:29:15 Raster graphics editors Desktop publishing software Graphics software Adobe Photoshop Image editing Raw image format Adobe InDesign Workflow IPTC Information Interchange Model Software Graphic design Digital photography
216	ARCS Model of Motivational Design EDTEC 544 November, 2008 Aura Poulsen Khoa Lam Add to Reading List Source URL: www.torreytrust.com Language: English - Date: 2010-12-20 11:55:40 Cognition Experimental psychology Motivation E-learning Problem-based learning Motivation in second-language learning Education Pedagogy Human behavior
217	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko and Robert K. Brayton Department of EECS University of California, Berkeley {alanmi, brayton}@eecs.berkeley.edu Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-12-03 17:46:16 Boolean algebra Electronic design automation Formal methods Bioinformatics Boolean network Logic Boolean satisfiability problem Circuit Model checking Theoretical computer science Applied mathematics Mathematics
218	Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-28 18:02:46 Formal methods Logic in computer science Electronic design automation Mathematical logic Programming paradigms And-inverter graph Logic programming Model checking Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
219	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko Department of EECS University of California, Berkeley [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-04-30 02:47:03 Boolean algebra Computing Formal methods Electronic design automation Boolean satisfiability problem Boolean network Model checking Canonical form Lookup table Theoretical computer science Logic Mathematics
220	EUROGRAPHICS Workshop on Sketch-Based Interfaces and Modeling[removed]M. van de Panne, E. Saund (Editors) Example-Based Conceptual Styling Framework for Automotive Shapes István Kókai1 , Jörg Finger1 , Randall C. Smith Add to Reading List Source URL: eprints.pascal-network.org Language: English - Date: 2007-08-07 22:38:37 Visual arts Computer vision Imaging Active contour model 3D modeling Sketch-based modeling Solid modeling Automotive design Computer graphics Computer-aided design 3D computer graphics Design

UPDATE